Gerard J Holzmann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Software Components

Holzmann, Gerard J.

Journal:

Year:

2018

Language:

english

File:

PDF, 316 KB

english, 2018

2

The Pandora system: An interactive system for the design of data communication protocols

Gerard J Holzmann

Journal:

Computer Networks (1976)

Year:

1976

Language:

english

File:

PDF, 678 KB

english, 1976

3

[IEEE 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (PRDC) - Pasadena, CA, USA (2011.12.12-2011.12.14)] 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing - Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems

McKelvin Jr., Mark L., Gamble Jr., Edward B., Holzmann, Gerard J.

Year:

2011

Language:

english

File:

PDF, 132 KB

english, 2011

4

Assertive Testing [Reliable Code]

Holzmann, Gerard J.

Journal:

Year:

2015

Language:

english

File:

PDF, 1.15 MB

english, 2015

5

Test Fatigue

Holzmann, Gerard J.

Journal:

Year:

2020

File:

PDF, 2.04 MB

2020

6

The logic of bugs

Holzmann, Gerard J.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2002

Language:

english

File:

PDF, 728 KB

english, 2002

7

Code Mining

Holzmann, Gerard J.

Journal:

Year:

2019

File:

PDF, 7 KB

2019

8

Code Vault

Holzmann, Gerard J.

Journal:

Year:

2018

Language:

english

File:

PDF, 437 KB

english, 2018

9

PICO-A Picture Editor

Holzmann, Gerard J.

Journal:

AT&T Technical Journal

Year:

1987

Language:

english

File:

PDF, 4.45 MB

english, 1987

10

Fault Intolerance [Reliable Code]

Holzmann, Gerard J.

Journal:

Year:

2014

Language:

english

File:

PDF, 1.37 MB

english, 2014

11

Design and validation of protocols: a tutorial

Gerard J. Holzmann

Journal:

Computer Networks and ISDN Systems

Year:

1993

Language:

english

File:

PDF, 2.09 MB

english, 1993

12

Algorithms for Automated Protocol Verification

Holzmann, Gerard J.

Journal:

AT&T Technical Journal

Year:

1990

Language:

english

File:

PDF, 2.28 MB

english, 1990

13

Curve Balls

Holzmann, Gerard J.

Journal:

Year:

2018

Language:

english

File:

PDF, 394 KB

english, 2018

14

Does Not Compute

Holzmann, Gerard J.

Journal:

Year:

2019

Language:

english

File:

PDF, 427 KB

english, 2019

15

Histomorphometric Analysis Reveals Reduced Bone Mass and Bone Formation in Patients With Quiescent Crohn's Disease

Angela E. Oostlander, Nathalie Bravenboer, Evelien Sohl, Paulien J. Holzmann, Christien J. van der Woude, Gerard Dijkstra, Pieter C.F. Stokkers, Bas Oldenburg, J. Coen Netelenbos, Daniel W. Hommes, Ad

Journal:

Gastroenterology

Year:

2011

Language:

english

File:

PDF, 636 KB

english, 2011

16

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9058 ||

Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev

Year:

2015

Language:

english

File:

PDF, 11.76 MB

english, 2015

17

SPIN model checking: an introduction

Gerard Holzmann, Eli Najm, Ahmed Serhrouchni

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2000

Language:

english

File:

PDF, 183 KB

english, 2000

18

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9058 || Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites

Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev

Year:

2015

Language:

english

File:

PDF, 709 KB

english, 2015

19

[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - An improvement of the piggyback algorithm for parallel model checking

Filippidis, Ioannis, Holzmann, Gerard J.

Year:

2014

Language:

english

File:

PDF, 288 KB

english, 2014

20

The Value of Doubt

Holzmann, Gerard J.

Journal:

Year:

2017

Language:

english

File:

PDF, 224 KB

english, 2017

21

Design tools for requirements engineering

Gerard J. Holzmann, Doron A. Peled, Margaret H. Redberg

Journal:

Bell Labs Technical Journal

Year:

1997

Language:

english

File:

PDF, 143 KB

english, 1997

22

Code Mining

Holzmann, Gerard J.

Journal:

Year:

2019

File:

PDF, 7 KB

2019

23

Interval reduction through requirements analysis

Gerard J. Holzmann, Margaret H. Smith

Journal:

Bell Labs Technical Journal

Year:

1998

Language:

english

File:

PDF, 138 KB

english, 1998

24

State-space caching revisited

Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin

Journal:

Formal Methods in System Design

Year:

1995

Language:

english

File:

PDF, 970 KB

english, 1995

25

An Analysis of Bitstate Hashing

Gerard J. Holzmann

Journal:

Formal Methods in System Design

Year:

1998

Language:

english

File:

PDF, 166 KB

english, 1998

26

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning

Groce, Alex, Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev, Xu, Ru-Gang

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 1.50 MB

english, 2014

27

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - Software certification

Havelund, Klaus, Holzmann, Gerard J.

Year:

2011

Language:

english

File:

PDF, 436 KB

english, 2011

28

To Code Is Human

Holzmann, Gerard J.

Journal:

Year:

2015

Language:

english

File:

PDF, 1.41 MB

english, 2015

29

Code Evasion

Holzmann, Gerard J.

Journal:

Year:

2015

Language:

english

File:

PDF, 725 KB

english, 2015

30

[ACM Press the 24th ACM SIGSOFT International SPIN Symposium - Santa Barbara, CA, USA (2017.07.13-2017.07.14)] Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 - Cobra: fast structural code checking (keynote)

Holzmann, Gerard J.

Year:

2017

Language:

english

File:

PDF, 588 KB

english, 2017

31

Landing a Spacecraft on Mars

Holzmann, Gerard J.

Journal:

Year:

2013

Language:

english

File:

PDF, 1.15 MB

english, 2013

32

Hi Maintenance

Holzmann, Gerard J.

Journal:

Year:

2016

Language:

english

File:

PDF, 837 KB

english, 2016

33

Software verification at Bell Labs: One line of development

Gerard J. Holzmann

Journal:

Bell Labs Technical Journal

Year:

2000

Language:

english

File:

PDF, 273 KB

english, 2000

34

A Stack-Slicing Algorithm for Multi-Core Model Checking

Gerard J. Holzmann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 306 KB

english, 2008

35

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Swarm Verification

Holzmann, Gerard J., Joshi, Rajeev, Groce, Alex

Year:

2008

Language:

english

File:

PDF, 196 KB

english, 2008

36

Standardized protocol interfaces

Gerard J. Holzmann

Journal:

Software: Practice and Experience

Year:

1993

Language:

english

File:

PDF, 1.10 MB

english, 1993

37

Predicting the Past

Holzmann, Gerard J.

Journal:

Year:

2020

File:

PDF, 1.46 MB

2020

38

Model checking with bounded context switching

Gerard J. Holzmann, Mihai Florian

Journal:

Formal Aspects of Computing

Year:

2011

Language:

english

File:

PDF, 1.05 MB

english, 2011

39

The First Data Networks

Holzmann, Gerard J., Pehrson, Björn

Journal:

Scientific American

Year:

1994

Language:

english

File:

PDF, 418 KB

english, 1994

40

[ACM Press the 21st international conference - Los Angeles, California, United States (1999.05.16-1999.05.22)] Proceedings of the 21st international conference on Software engineering - ICSE '99 - A practical method for verifying event-driven software

Holzmann, Gerard J., Smith, Margaret H.

Year:

1999

Language:

english

File:

PDF, 1.34 MB

english, 1999

41

Frequently Unanswered Questions

Holzmann, Gerard J.

Journal:

Year:

2016

Language:

english

File:

PDF, 664 KB

english, 2016

42

The Weakest Link

Holzmann, Gerard J.

Journal:

Year:

2016

Language:

english

File:

PDF, 1.48 MB

english, 2016

43

Code Craft

Holzmann, Gerard J.

Journal:

Year:

2017

Language:

english

File:

PDF, 321 KB

english, 2017

44

A Tale of Three Programs

Holzmann, Gerard J.

Journal:

Year:

2017

Language:

english

File:

PDF, 808 KB

english, 2017

45

Randomly Right

Holzmann, Gerard J.

Journal:

Year:

2017

Language:

english

File:

PDF, 149 KB

english, 2017

46

Software model checking: extracting verification models from source code

Gerard J. Holzmann, Margaret H. Smith

Journal:

Software Testing, Verification and Reliability

Year:

2001

Language:

english

File:

PDF, 152 KB

english, 2001

47

Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking

Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 501 KB

english, 2003

48

Model driven code checking

Gerard J. Holzmann, Rajeev Joshi, Alex Groce

Journal:

Automated Software Engineering

Year:

2008

Language:

english

File:

PDF, 275 KB

english, 2008

49

Protocol Specification, Testing and Verification, XII || Coverage Preserving Reduction Strategies for Reachability Analysis

Holzmann, Gerard J.

Year:

1992

Language:

english

File:

PDF, 1.05 MB

english, 1992

50

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL, USA (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Cobra — An interactive static code analyzer

Holzmann, Gerard

Year:

2017

Language:

english

File:

PDF, 61 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски